Nondiscrete mathematical induction and iterative existence proofs
نویسندگان
چکیده
منابع مشابه
Synthesis of Induction Orderings for Existence Proofs
In the eld of program synthesis inductive existence proofs are used to compute algorithmic deenitions for the skolem functions under consideration. While in general the recursion orderings of the given function deenitions form the induction ordering this approach often fail for existence proofs. In many cases a completely new induction ordering has to be invented to prove an existence formula. ...
متن کاملGenetic Reasoning: Evolutionary Induction of Mathematical Proofs
Most automated reasoning systems rely on human knowledge or heuristics to guide the reasoning or search for proofs. We have evaluated the use of a powerful general search algorithm to search in the space of mathematical proofs. In our approach, automated reasoning is seen as an instance of automated programming where the proof is seen as a program (of functions corresponding to rules of inferen...
متن کاملAbstract Notions and Inference Systems for Proofs by Mathematical Induction
Notions and Inference Systems for Proofs by Mathematical Induction Claus-Peter Wirth? and Klaus Becker Fb. Informatik, Universität Kaiserslautern, D-67663, Germany {wirth, klbecker}@informatik.uni-kl.de Abstract. Soundness of inference systems for inductive proofs is sometimes Soundness of inference systems for inductive proofs is sometimes shown ad hoc and a posteriori, lacking modularization ...
متن کاملWhy proofs by mathematical induction are generally not explanatory
Proposed accounts of scientific explanation have long been tested against certain canonical examples. Various arguments are paradigmatically explanatory, such as Newton’s explanations of Kepler’s laws and the tides, Darwin’s explanations of various biogeographical and anatomical facts, Wegener’s explanation of the correspondence between the South American and African coastlines, and Einstein’s ...
متن کاملQuranic way of presenting proofs for God`s existence
Regardless of the view of those philosophers like Plantinga who see no need in any proof for the existence of God, scholars have presented four views on Quranic way of proving the existence of God including demonstration, awakening, implication and clear demonstration. Describing and criticizing the views in detail, the author has viewed differently. God has regarded the level of the addressee`...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Linear Algebra and its Applications
سال: 1976
ISSN: 0024-3795
DOI: 10.1016/0024-3795(76)90098-7